/LMAR=0/XLINE=3/FONT#0=BASI30/FONT#1=BASL30/FONT#2=METLB/FONT#3=BASB30



␈↓ α∧␈↓␈↓ βw␈↓αThe 1980 LISP Conference Program

␈↓ α∧␈↓α␈↓ ∧#Stanford, August 24-27, 1980

␈↓ α∧␈↓␈↓ αG␈↓βRegistration 4:00pm to 6:00pm, August 24, 1980 in Twain North Lounge

␈↓ α∧␈↓β␈↓ β[Reception 7:00pm to 10:pm in Twain East Lounge


␈↓ α∧␈↓␈↓βInvited Address: 9:00 to 9:30, August 25, 1980 in Kresge Auditorium

␈↓ α∧␈↓β␈↓↓John McCarthy, Stanford University


␈↓ α∧␈↓↓␈↓βSession 1: 9:30 to 10:20, August 25, 1980          Chaired by Richard Fateman, U. C. 

␈↓ α∧␈↓β␈↓Symbolic Computing with and without LISP
␈↓ α∧␈↓␈↓↓J. Campbell, University of Exeter and J. Fitch, University of Bath

␈↓ α∧␈↓↓␈↓Prose and CONS - Multics Emacs: A Commercial Text-processing System in LISP
␈↓ α∧␈↓␈↓↓B. Greenberg, Honeywell

␈↓ α∧␈↓↓␈↓ εε␈↓βBreak

␈↓ α∧␈↓↓␈↓βSession 2: 10:45 to 12:00, August 25, 1980          Chaired by Daniel Friedman, Indi

␈↓ α∧␈↓β␈↓Explicit Parallelism in LISP-like Languages
␈↓ α∧␈↓␈↓↓G. Prini, University of Pisa

␈↓ α∧␈↓↓␈↓Continuation-Based Multiprocessing
␈↓ α∧␈↓␈↓↓M. Wand, Indiana University

␈↓ α∧␈↓↓␈↓MULTI - A LISP Based Multiprocessing System
␈↓ α∧␈↓␈↓↓D. McKay and S. Shapiro, SUNY at Buffalo

␈↓ α∧␈↓↓␈↓ ε↓␈↓βLunch

␈↓ α∧␈↓↓␈↓βSession 3: 1:30 to 3:10, August 25, 1980          Chaired by Carolyn Talcott, Stanfor

␈↓ α∧␈↓β␈↓The Function-Class
␈↓ α∧␈↓␈↓↓T. Kurokawa, Japan

␈↓ α∧␈↓↓␈↓A Constructive Alternative to Axiomatic Data Type Definitions
␈↓ α∧␈↓␈↓↓R. Cartwright, Cornell University

␈↓ α∧␈↓↓␈↓A Semantic Comparison of LISP and SCHEME
␈↓ α∧␈↓␈↓↓S. Muchnick, UC Berkeley  and U. Pleban, University of Kansas



␈↓ α∧␈↓↓␈↓MODLISP
␈↓ α∧␈↓␈↓↓J. Davenport and  R. Jenks, IBM

␈↓ α∧␈↓↓␈↓ εε␈↓βBreak

␈↓ α∧␈↓↓␈↓βSession 4: 3:45 to 5:00, August 25, 1980          Chaired by Alan Kay, Xerox PARC

␈↓ α∧␈↓β␈↓Extending Object Oriented Programming in Smalltalk
␈↓ α∧␈↓␈↓↓I. Goldstein and D. Bobrow, Xerox PARC

␈↓ α∧␈↓↓␈↓A System of Communicating Residential Environments
␈↓ α∧␈↓␈↓↓E. Sandewall, H. Sorenson, and C. Stromberg, Linkoping

␈↓ α∧␈↓↓␈↓A Session with Tinker: Interleaving Program Testing with Program Writing
␈↓ α∧␈↓␈↓↓H. Lieberman and C. Hewitt, MIT

␈↓ α∧␈↓↓␈↓ ¬⎇␈↓βDinner



␈↓ α∧␈↓↓␈↓βSession 5: 9:00 to 10:15, August 26, 1980          Chaired by David Wise, Indiana Un

␈↓ α∧␈↓β␈↓Computing with Text-Graphics Forms
␈↓ α∧␈↓␈↓↓F. Lakin, Xerox

␈↓ α∧␈↓↓␈↓Design of the APIARY for Actor Systems
␈↓ α∧␈↓␈↓↓C. Hewitt, MIT

␈↓ α∧␈↓↓␈↓Address/Memory Management for a Gigantic LISP Environment
␈↓ α∧␈↓␈↓↓J. White, MIT

␈↓ α∧␈↓↓␈↓ εε␈↓βBreak

␈↓ α∧␈↓↓␈↓βSession 6: 10:45 to 12:00, August 26, 1980          Chaired by Carl Hewitt, MIT

␈↓ α∧␈↓β␈↓SKIM - The S, K, I Reduction Machine
␈↓ α∧␈↓␈↓↓T. Clarke, P. Gladstone, C. MacLean and A. Norman, Trinity College

␈↓ α∧␈↓↓␈↓HOPE: An Experimental Applicative Language
␈↓ α∧␈↓␈↓↓R. Burstall, D. MacQueen, and D. Sannella, University of Edinburgh

␈↓ α∧␈↓↓␈↓Computing Cyclic List Structures
␈↓ α∧␈↓␈↓↓L. Morris, Syracuse University and J. Schwarz, Bell Labs

␈↓ α∧␈↓↓␈↓ ε↓␈↓βLunch

␈↓ α∧␈↓↓␈↓βSession 7: 1:30 to 3:10, August 26, 1980          Chaired by Anthony Hearn, Universi

␈↓ α∧␈↓β␈↓An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped 
␈↓ α∧␈↓␈↓↓D. McDermott, Yale University

␈↓ α∧␈↓↓␈↓The Dream of a Lifetime: A Lazy Variable Extent Mechanism
␈↓ α∧␈↓␈↓↓G. Steele Jr. and G. Sussman, MIT

␈↓ α∧␈↓↓␈↓Strategies for Data Abstraction in LISP
␈↓ α∧␈↓␈↓↓B. Steele, MIT

␈↓ α∧␈↓↓␈↓Special Forms in LISP
␈↓ α∧␈↓␈↓↓K. Pitman, MIT

␈↓ α∧␈↓↓␈↓ εε␈↓βBreak

␈↓ α∧␈↓↓␈↓βSession 8: 3:45 to 5:00, August 26, 1980          Chaired by Bruce Anderson, Essex U
␈↓ α∧␈↓β␈↓Panel Discussion


␈↓ α∧␈↓␈↓ β3␈↓βConference Banquet 6:00 to 10:00 in Bowman Oak Grove



␈↓ α∧␈↓␈↓βSession 9: 8:35 to 10:15, August 27, 1980          Chaired by Gianfranco Prini, Unive

␈↓ α∧␈↓β␈↓Multiprocessing via Intercommunicating LISP Systems
␈↓ α∧␈↓␈↓↓M. Model, Brandeis University

␈↓ α∧␈↓↓␈↓Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems
␈↓ α∧␈↓␈↓↓R. Keller, University of Utah

␈↓ α∧␈↓↓␈↓Compilation Techniques for a Control-Flow Concurrent LISP System
␈↓ α∧␈↓␈↓↓J. Marti, University of Utah

␈↓ α∧␈↓↓␈↓On Compiling Embedded Languages in LISP
␈↓ α∧␈↓␈↓↓P. Emanuelson and A. Haraldsson, Linkoping

␈↓ α∧␈↓↓␈↓ εε␈↓βBreak

␈↓ α∧␈↓↓␈↓βSession 10: 10:45 to 12:25, August 27, 1980          Chaired by Eiichi Goto, Universit

␈↓ α∧␈↓β␈↓A LISP Compiler Producing Compact Code
␈↓ α∧␈↓␈↓↓W. Rowan, UC San Francisco

␈↓ α∧␈↓↓␈↓Local Optimization in a Compiler for Stack-based LISP Machines
␈↓ α∧␈↓␈↓↓L. Masinter and L. P. Deutsch, Xerox PARC

␈↓ α∧␈↓↓␈↓ByteLisp and its Alto Implementation
␈↓ α∧␈↓␈↓↓L. P. Deutsch, Xerox PARC

␈↓ α∧␈↓↓␈↓Overview and Status of DoradoLISP
␈↓ α∧␈↓␈↓↓R. Burton, L. Masinter, D. Bobrow, W. Haugeland, R. Kaplan, and B. Sheil, Xerox 

␈↓ α∧␈↓↓␈↓ ¬4␈↓βClosing Activities






␈↓ α∧␈↓βLounge

␈↓ α∧␈↓βU. C. Berkeley

␈↓ α∧␈↓βIndiana University


␈↓ α∧␈↓βIndiana University



␈↓ α∧␈↓βU. C. Berkeley


␈↓ α∧␈↓βUniversity of Pisa


␈↓ α∧␈↓βUniversity of Tokyo


␈↓ α∧␈↓βUniversity of Utah


␈↓ α∧␈↓βEssex University


␈↓ α∧␈↓βStanford University

␈↓ α∧␈↓β␈↓ Lexically-Scoped LISP